English translation for "operator n"
|
- 操作人员，接线员
Related Translations:
- Example Sentences:
| 1. | The nth power of an operator is defined to mean applying the operator n times in succession .
一个算符的n次幂定义为连续运用算符n次。 | | 2. | Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ) , the author studied semantic and syntax properties of generalized lattice - valued modal logic system , and probed into a - resolution principle . the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part , we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ) , set up a new lattice - valued modal propositional logic system lmp ( x ) , studied its semantic properties and syntax structure , proved the soundness and consistence of this system . based on these work , discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ) , gave out the rules of computing a - direct resolvent and a - self resolvent , and proposed detailed resolution method
本文在格值命题逻辑系统lp ( x )和格值一阶逻辑系统lf ( x )的基础上，讨论了广义格值模态逻辑系统的语义及语法性质，并对其-归结原理做了初步探讨，主要在下述三个方面取得了研究成果：第一部分：关于格值模态命题逻辑系统及其归结方法的研究在此部分，把模态算子n (必然)和p (可能)引入格值命题逻辑系统lp ( x ) ，建立了新的格值模态命题逻辑系统lmp ( x ) ，并研究了它的语义刻画及语法结构，证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的；在此基础上，进一步研究了基于格值模态命题逻辑系统lmp ( x )的-归结原理，给出了计算-直接归结式和-自归结式的规则，并总结出具体的归结方法。 |
- Similar Words：
- "operator method" English translation, "operator model" English translation, "operator monitor" English translation, "operator monitoring" English translation, "operator mutation" English translation, "operator name" English translation, "operator norm" English translation, "operator notations in mathematics" English translation, "operator number identification" English translation, "operator number identification link" English translation
|
|
|
